Metamodel-based model conformance and multiview consistency checking

Model-driven development, using languages such as UML and BON, often makes use of multiple diagrams (e.g., class and sequence diagrams) when modeling systems. These diagrams, presenting different views of a system of interest, may be inconsistent. A metamodel provides a unifying framework in which to ensure and check consistency, while at the same time providing the means to distinguish between valid and invalid models, that is, conformance. Two formal specifications of the metamodel for an object-oriented modeling language are presented, and it is shown how to use these specifications for model conformance and multiview consistency checking. Comparisons are made in terms of completeness and the level of automation each provide for checking multiview consistency and model conformance. The lessons learned from applying formal techniques to the problems of metamodeling, model conformance, and multiview consistency checking are summarized

Analysis of Uncharacterized mKiaa1211 Expression during Mouse Development and Cardiovascular Morphogenesis

Mammalian Kiaa1211 and Kiaa1211-like are a homologous pair of uncharacterized, highly conserved genes cloned from fetal and adult brain cDNA libraries. Herein we map the in utero spatiotemporal expression of mKiaa1211 and mKiaa1211L mRNA and their expression patterns in postnatal testis, skin, gastrointestinal, and adipose progenitor tissues. Significantly, mKiaa1211 is present throughout the early stages of mouse heart development, particularly in the second heart field (SHF) lineage as it differentiates from mesenchymal cells into cardiomyocytes. We also show that mKiaa1211 is expressed within several early neuronal tissues destined to give rise to central, peripheral, and sympathetic nervous system structures. Expression profiling revealed that the paralog mKiaa1211L is not expressed during the normal developmental process and that mKiaa1211 expression was noticeably absent from most adult terminally differentiated tissues. Finally, we confirm that a previously uncharacterized CRISPR/CAS-generated mKiaa1211 mouse mutant allele is hypomorphic

Measurements in SUGRA Models with Large tan beta at LHC

We present an example of a scenario of particle production and decay in supersymmetry models in which the supersymmetry breaking is transmitted to the observable world via gravitational interactions. The case is chosen so that there is a large production of tau leptons in the final state. It is characteristic of large tan beta in that decays into muons and electrons may be suppressed. It is shown that hadronic tau decays can be used to reconstruct final states.Comment: 15 pages, 12 figure

Lepton Flavor Violation at the LHC

Recent results from Super Kamiokande suggest $\nu_\mu-\nu_\tau$ mixing and hence lepton flavor violation. In supersymmetric models, this flavor violation may have implications for the pattern of slepton masses and mixings. Possible signals for this mixing in the decays of sleptons produced at the LHC are discussed. The sensitivity expected is compared to that of rare decays such as $\tau\to \mu\gamma$.Comment: 14 pages, 9 figure

New Gamma-Ray Contributions to Supersymmetric Dark Matter Annihilation

We compute the electromagnetic radiative corrections to all leading annihilation processes which may occur in the Galactic dark matter halo, for dark matter in the framework of supersymmetric extensions of the Standard Model (MSSM and mSUGRA), and present the results of scans over the parameter space that is consistent with present observational bounds on the dark matter density of the Universe. Although these processes have previously been considered in some special cases by various authors, our new general analysis shows novel interesting results with large corrections that may be of importance, e.g., for searches at the soon to be launched GLAST gamma-ray space telescope. In particular, it is pointed out that regions of parameter space where there is a near degeneracy between the dark matter neutralino and the tau sleptons, radiative corrections may boost the gamma-ray yield by up to three or four orders of magnitude, even for neutralino masses considerably below the TeV scale, and will enhance the very characteristic signature of dark matter annihilations, namely a sharp step at the mass of the dark matter particle. Since this is a particularly interesting region for more constrained mSUGRA models of supersymmetry, we use an extensive scan over this parameter space to verify the significance of our findings. We also re-visit the direct annihilation of neutralinos into photons and point out that, for a considerable part of the parameter space, internal bremsstrahlung is more important for indirect dark matter searches than line signals.Comment: Replaced Fig. 2c which by mistake displayed the same spectrum as Fig. 2d; the radiative corrections reported here are now implemented in DarkSUSY which is available at http://www.physto.se/~edsjo/darksusy

Precision SUSY Measurements at LHC

If supersymmetry exists at the electroweak scale, then it should be discovered at the LHC. Determining masses, of supersymmetric particles however, is more difficult. In this paper, methods are discussed to determine combinations of masses and of branching ratios precisely from experimentally observable distributions. In many cases such measurements alone can greatly constrain the particular supersymmetric model and determine its parameters with an accuracy of a few percent. Most of the results shown correspond to one year of running at LHC at ``low luminosity'.Comment: 52 pages, Latex with 42 postscript figures. Postscript version also at http://www-physics.lbl.gov/www/theorygroup/papers/39412.p

Search for Tau Flavour Violation at the LHC

We explore the prospects for searches at the LHC for sparticle decays that violate $\tau$ lepton number, in the light of neutrino oscillation data and the seesaw model for neutrino masses and mixing. We analyse the theoretical and phenomenological conditions required for tau flavour violation to be observable in \chi_2 \to \chi + \tau^\pm \mu^\mp decays, for cosmologically interesting values of the relic neutralino LSP density. We study the relevant supersymmetric parameter space in the context of the Constrained Minimal Supersymmetric Extension of the Standard Model (CMSSM) and in SU(5) extensions of the theory. We pay particular attention to the possible signals from hadronic tau decays, that we analyse using PYTHIA event simulation. We find that a signal for \tau flavour-violating \chi_2 decays may be observable if the branching ratio exceeds about 10%. This may be compatible with the existing upper limit on \tau \to \mu \gamma decays if there is mixing between right-handed sleptons, as could be induced in non-minimal SU(5) GUTs.Comment: 24 pages, 10 fig

Analysis of Care Coordination for Children with Special Health Care Needs: A Parent\u27s Perspective

Introduction. Care coordination involves organizing patient care activities and sharing information among all of the participants concerned with a patient\u27s care to achieve improved outcomes, a recent national focus. Compared to the national average, a higher percentage of Vermont children are cared for in an office that meets medical home criteria. However, there is limited research on medical home and care coordination for children with special health care needs (CSHCN) in the state of Vermont. Objectives. The goal of this study was to assess family perceptions, knowledge, and attitudes about how well care coordination is working for Vermont families with CSHCN. Methods. A paper and an electronic anonymous survey was developed for Vermont families with CSHCN. The surveys were then distributed by Vermont Family Network and the UVMMC Department of Pediatrics. Focus group interviews were also conducted at Vermont Family Network to provide family insight to explain the quantitative data. Results. 30 participants responded to the survey; only 20 completed it. The overall composite satisfaction score is 54%. This score takes into account 4 questions regarding care coordination satisfaction. Each question was formatted into a numerical value ranging from zero to five, with an overall score of 20 equating to 100% satisfaction. Discussion. Findings indicate that families with CSHCN are not satisfied with the level of care coordination currently provided. Respondents reported many barriers regarding care coordination, including lack of communication among health care providers, insurance coverage, and lack of support during transitional periods in care. Recommended improvements were identified.https://scholarworks.uvm.edu/comphp_gallery/1251/thumbnail.jp

Modeling the Skills and Practices of Scientists through an All-Inclusive Comparative Planetology Student Research Investigation

To effectively prepare the nation's future Science, Technology, Engineering, and Mathematics (STEM) workforce, students in today's classrooms need opportunities to engage in authentic experiences that model skills and practices used by STEM professionals. Relevant, real-world authentic research experiences allow students to behave as scientists as they model the process of science. This enables students to get a true sense of STEM-related professions and also allows them to develop the requisite knowledge, skills, curiosity, and creativity necessary for success in STEM careers. Providing professional development and opportunities to help teachers infuse research in the classroom is one of the primary goals of the Expedition Earth and Beyond (EEAB) program. EEAB, facilitated by the Astromaterials Research and Exploration Science (ARES) Directorate at the NASA Johnson Space Center, is an Earth and planetary science education program designed to inspire, engage, and educate teachers and students in grades 5-12 by getting them actively involved with exploration, discovery, and the process of science. The program combines the expertise of scientists and educators to ensure the professional development provided to classroom teachers is scientifically valid and also recognizes classroom constraints. For many teachers, facilitating research in the classroom can be challenging. In addition to addressing required academic standards and dealing with time constraints, challenges include structuring a research investigation the entire class can successfully complete. To build educator confidence, foster positive classroom research experiences, and enable teachers to help students model the skills and practices of scientists, EEAB has created an "allinclusive" comparative planetology research investigation activity. This activity addresses academic standards while recognizing students (and teachers) potentially lack experience with scientific practices involved in conducting research. Designed as an entry level research engagement investigation, the activity introduces, illustrates, and teaches the skills involved in each step of the research process. Students use astronaut photos, provided through the ARES Crew Earth Observations (CEO) payload on the International Space Station (ISS) as well as remote sensing imagery of other planetary worlds. By including all the necessary tools to complete the investigation, students can focus on gaining experience in the process of science. Additionally, students are able to extend their experience of modeling the skills and practices of scientists through the opportunity to request new data of Earth from the ISS. Professional development offered through in-person and webinar trainings, along with the resources provided, enable educators to gain first-hand experience implementing a structured research investigation in the classroom. Through data and feedback collected from teachers, this type of "all-inclusive" investigation activity aims to become a model that can be utilized for other research topics and STEM disciplines